Ionospheric radio wave propagation